退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于模型检查的Java智能卡字节码验证
Joachim Posegga; Harald Vogt;
机译:通过代码转换和标准字节码验证来检查Java字节码中的安全信息流
机译:Java智能卡上的字节码验证
机译:在Java字节码验证中使用抽象解释为接口添加类型检查
机译:基于模型检查的Java智能卡的字节代码验证
机译:通过混合和分布式分析提高并发Java代码的定向模型检查的可伸缩性。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:Java卡字节码嵌入式验证器的正式开发
机译:基于智能卡的认证系统中的终端安全验证。
机译:用于JAVA智能卡的经过验证的程序代码下载系统,具有处理单元和验证器,用于验证代码并将代码提供给运营商,其中设计了单元和验证器,以便仅在验证后才将代码加载到运营商
机译:智能卡中程序代码的优化验证,使用表示类结构的位模式来提供可用于验证智能卡中Java代码的位模式
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。